syntactic congruence

语法同余